The set of all words in the alphabet {l, r} forms the full binary tree T. If x ∈ T then xl and xr are the left and the right successors of x respectively. We consider the monadic second-order language of the full binary tree with the two successor relations. This language allows quantification over elements of T and over arbitrary subsets of T. We prove that there is no monadic second-order formula φ * (X, y) such that for every (...) nonempty subset X of T there is a unique y ∈ X that satisfies φ * (X, y) in T. (shrink)

Philosophers of experiment have acknowledged that experiments are often more than mere hypothesis-tests, once thought to be an experiment's exclusive calling. Drawing on examples from contemporary biology, I make an additional amendment to our understanding of experiment by examining the way that `wide' instrumentation can, for reasons of efficiency, lead scientists away from traditional hypothesis-directed methods of experimentation and towards exploratory methods.

Philosophical discussions of species have focused on multicellular, sexual animals and have often neglected to consider unicellular organisms like bacteria. This article begins to fill this gap by considering what species concepts, if any, apply neatly to the bacterial world. First, I argue that the biological species concept cannot be applied to bacteria because of the variable rates of genetic transfer between populations, depending in part on which gene type is prioritized. Second, I present a critique of phylogenetic bacterial species, (...) arguing that phylogenetic bacterial classification requires a questionable metaphysical commitment to the existence of essential genes. I conclude by considering how microbiologists have dealt with these biological complexities by using more pragmatic and not exclusively evolutionary accounts of species. I argue that this pragmatism is not borne of laziness but rather of the substantial conceptual problems in classifying bacteria based on any evolutionary standard. (shrink)

Local food systems can have economic and social benefits by providing income for producers and improving community connections. Ongoing global climate change and the acute COVID-19 pandemic crisis have shown the importance of building equity and resilience in local food systems. We interviewed ten stakeholders from organizations and institutions in a U.S. midwestern city exploring views on past, current, and future conditions to address the following two objectives: 1) Assess how local food system equity and resilience were impacted by the (...) COVID-19 pandemic, and 2) Examine how policy and behavior changes could support greater equity and resilience within urban local food systems. We used the Community Capitals Framework to organize interviewees’ responses for qualitative analyses of equity and resilience. Four types of community capital were emphasized by stakeholders: cultural and social, natural, and political capital. Participants stated that the local food system in this city is small; more weaknesses in food access, land access, and governance were described than were strengths in both pre- and post-pandemic conditions. Stakeholder responses also reflected lack of equity and resilience in the local food system, which was most pronounced for cultural and social, natural and political capitals. However, local producers’ resilience during the pandemic, which we categorized as human capital, was a notable strength. An improved future food system could incorporate changes in infrastructure (e.g., food processing), markets (e.g., values-based markets) and cultural values (e.g., valuing local food through connections between local producers and consumers). These insights could inform policy and enhance community initiatives and behavior changes to build more equitable and resilient local food systems in urban areas throughout the U.S. Midwest. (shrink)

To better understand the multiple individual factors that contribute to college cheating, we undertook a multivariate analysis of a national sample of 2,503 college students. Our findings indicated that demographic characteristics, character qualities, college experience, and student perceptions and attitudes are all significantly associated with academic cheating.

Cooperative, connected and automated mobility technologies have the potential to revolutionize transportation systems and enhance safety, efficiency and sustainability. However, the increasing reliance on digital technologies also introduces new cybersecurity risks that can compromise the safety and privacy of passengers and the integrity of transportation systems. The purpose of this article is to examine the most important threats, vulnerabilities, risks and challenges related to automated mobility and to review the status of the most promising standardization initiatives on cryptography in a (...) world where quantum computers will soon represent an actual threat. (shrink)

L R Perry; Training and Education, Journal of Philosophy of Education, Volume 6, Issue 1, 30 May 2006, Pages 7–29, https://doi.org/10.1111/j.1467-9752.1972.tb00.

In transplant medicine, the use of normothermic regional perfusion (NRP) in donation after circulatory determination of death raises ethical difficulties. NRP is objectionable because it restores the donor's circulation, thus invalidating a death declaration based on the permanent cessation of circulation. NRP's defenders respond with arguments that are tortuous and factually inaccurate and depend on introducing extraneous concepts into the law. However, results comparable to NRP's—more and higher‐quality organs and more efficient allocation—can be achieved by removing organs from deceased donors (...) and using normothermic machine perfusion (NMP) to support the organs outside the body, without jeopardizing confidence in transplantation's legal and ethical foundations. Given the controversy that NRP generates and the convoluted justifications made for it, we recommend a prudential approach we call “ethical parsimony,” which holds that, in the choice between competing means of achieving a result, the ethically simpler one is to be preferred. This approach makes clear that policy‐makers should favor NMP over NRP. (shrink)

In order to study early human development while avoiding the burdens associated with human embryo research, scientists are redirecting their efforts towards so-called human embryo-like structures (hELS). hELS are created from clusters of human pluripotent stem cells and seem capable of mimicking early human development with increasing accuracy. Notwithstanding, hELS research finds itself at the intersection of historically controversial fields, and the expectation that it might be received as similarly sensitive is prompting proactive law reform in many jurisdictions, including the (...) Netherlands. However, studies on the public perception of hELS research remain scarce. To help guide policymakers and fill this gap in the literature, we conducted an explorative qualitative study aimed at mapping the range of perspectives in the Netherlands on the creation and research use of hELS. This article reports on a subset of our findings, namely those pertaining to (the degrees of and requirements for) confidence in research with hELS and its regulation. Despite commonly found disparities in confidence on emerging biotechnologies, we also found wide consensus regarding the requirements for having (more) confidence in hELS research. We conclude by reflecting on how these findings could be relevant to researchers and (Dutch) policymakers when interpreted within the context of their limitations. (shrink)

The third edition gives particular attention to neuroimaging, which has emerged in the past decade as one of the most active areas of research in the field.

L. R. Reinhardt; III—Dualism and Categories, Proceedings of the Aristotelian Society, Volume 66, Issue 1, 1 June 1966, Pages 71–92, https://doi.org/10.1093/aris.

In the course of writing this book, answers to the following questions and many others were given in both narrative and visual form. Most of them were presented rather forcefully, and not when I was expecting them. I understood that I was to share what I learned. What is in store for the geology of North America? How do we create matter every day? What is the nature of nature? How did people live more than a half million years ago? (...) What was space travel like a half million years ago? Where is God? What are our responsibilities as humans? Is Hitler in heaven? How can we go to heaven? (shrink)

In computer science, an algorithm is an unambiguous specification of how to solve a class of problems. Algorithms can perform calculation, data processing and automated reasoning tasks. As an effective method, an algorithm can be expressed within a finite amount of space and time and in a well-defined formal language for calculating a function. Starting from an initial state and initial input (perhaps empty), the instructions describe a computation that, when executed, proceeds through a finite number of well-defined successive states, (...) eventually producing "output" and terminating at a final ending state. The transition from one state to the next is not necessarily deterministic; some algorithms, known as randomized algorithms, incorporate random input. This book introduces a set of concepts in solving problems computationally such as Growth of Functions; Backtracking; Divide and Conquer; Greedy Algorithms; Dynamic Programming; Elementary Graph Algorithms; Minimal Spanning Tree; Single-Source Shortest Paths; All Pairs Shortest Paths; Flow Networks; Polynomial Multiplication, to ways of solving NP-Complete Problems, supported with comprehensive, and detailed problems and solutions, making it an ideal resource to those studying computer science, computer engineering and information technology. (shrink)

The interventionist account of causal explanation, in the version presented by Jim Woodward, has been recently claimed capable of buttressing the widely felt—though poorly understood—hunch that high-level, relatively abstract explanations, of the sort provided by sciences like biology, psychology and economics, are in some cases explanatorily optimal. It is the aim of this paper to show that this is mistaken. Due to a lack of effective constraints on the causal variables at the heart of the interventionist causal-explanatory scheme, as presently (...) formulated it is either unable to prefer high-level explanations to low, or systematically overshoots, recommending explanations at so high of a level as to be virtually vacuous. (shrink)

George Christopher Stead's aim, throughout his scholarly work, was to lay bare and explain. He was very good at it, as this first piece in 1961 shows. It is a fine example of Stead's mature thinking. All the features that distinguish his work and made it fresh at the time are apparent here: clarity and directness, thoroughness of research, a gift for illustration of a technical point of logic from plain examples; and the, perhaps most noticeable, sign of an essay (...) on some patristic theme's being his very own–the presence in it of critical appraisal. Though Stead was, sometimes and in other contexts, to voice sharply destructive criticism, his appraisals are usually conducted, as in this first essay, so that sympathy with the ancient writer is preserved. (shrink)